Open
Description
We should investigate and document the support for verification of libraries. E.g., it seems that Kontrol doesn't support verification of standalone libraries, but library function can be verified if it's "deployed" within the Foundry test.