The more gas used, the more profit a miner earns. So miners can simply say that the transaction ran out of gas without even executing the transaction and updating the state.
JITVM optimizes the byte-code so less gas is required for executing transactions. But how does this benefit miners? Less operation will result in less profit.
How does another node verify verify the gas used is correct?