Precompile tests where we run up agains the (63/64)-ths stuff

[OlivierBBB]

We need to write tests with very simple bytecode. The specifics of these tests are as follows:

• message call transaction to a very simple contract
• bytecode: some pushes followed by e.g. GAS followed by CALL / STATICCALL to a precompile
• provide the transaction with a very low amount of gas

The goal is to trigger the (63/64)-ths business. We want to do this so that the callee will not meet its gas requirements.

In other words we must extract several unit tests (for all precompiles) from the issue #1136. See the documentation.

This is more advanced version of the test described in #1730. In the present test, we cannot give enough gas to run the precompile, while in the simpler version we deliberately do not give enough gas.