Add command to automate verification of an imported stdlib

[spalladino]

Add a command (verify-stdlib?) that compiles the source code in an stdlib package, and compares the bytecode against the addresses listed in zos.network.json.