1. A system comprising: one or more hardware processors; and one or more hardware storage devices having stored thereon computer-executable instructions that are executable by the one or more hardware processors and that configure the system to perform at least the following as part of a static analysis of intermediate language program code: identify a plurality of components in the intermediate language program code, each component comprising a different execution scope and including a corresponding contract, each contract conditioning further execution of the corresponding execution scope on whether a predicate of the contract is true when the contract is encountered at runtime of the corresponding execution scope; determine that a particular predicate of a particular contract corresponding to a particular component of the plurality of components may not always be true at runtime of the particular component; and generate executable code for the plurality of components into one or more executable binaries, including: when generating the executable code for the particular component, generate a portion of executable code having a first entry point that allows checking of the particular contract to be bypassed at runtime when the particular component is called by a first set of one or more other components of the plurality of components, and having a second entry point the causes the particular contract to be checked at runtime when the particular component is called by a second set of one or more other components of the plurality of components.