Add 'inspect' command that writes contracts to file