Extend library refs processing, fix in error messages for setUp

[palinatolmach]

Follow up to #838.

This PR fixes the following lib-related issues manifesting in the test included in the PR:

library LibrarySum {
    function sum(uint256 a, uint256 b) external pure returns (uint256 res) {
        res = a + b;
    }
}

library LibraryEq {
    function eq(uint256 a, uint256 b, uint256 c) internal returns (bool res) {
       uint256 sum = LibrarySum.sum(a, b);
       return (sum == c);
    }
}

contract ExternalNestedLibraryTest is Test {
    uint256 public z = 10;

    function testExtLibs() public {
        uint256 x = 3;
        uint256 y = 7;
        bool res = LibraryEq.eq(x, y, z);
        assert(res);
    }
}

• The first issue is missing support for dynamically linked libraries that rely on other dynamically linked libraries;
• The other is replacing library refs in bytecode (not deployed_bytecode) in case the proof is ran with --run-constructor
• Adds ExternalNestedLibraryTest to the test suite and test_foundry_init_code specifically
• It also makes a small update to the way the error message is printed if init or setUp are failing — the contract name is now pretty-printed