What default contract to use for unspecified library methods.
soundDefaultContracts : { on , off }
Default contracts for unspecified library methods use the sound default clauses.
Unsoundly assume unspecified library methods to have normal behavior and be strictly pure.