[VM] Only load reachable function code bodies on `contract-call?`

When processing a `contract-call?`, the VM should only load the function body from the contract and any dependent (i.e. reachable) code and state.  There is no need to load the entirety of the contract metadata (nor to bill the caller for it).