Add decompiler correctness tests

[anton-trunov]

We need to check that the code after decompilation can be compiled either back to the original binary code or compiled to code that would pass the same tests as the original binary.

Basically we need to check the following property:

compile(decompile(boc)) = boc, for all boc

It would be also nice to check this property on lots of BoCs from the blockchain.

• Add Fift compiler via WASM
• Add initial tests for compile(decompile(boc)) = boc
• Load 500 BoC from blockchain
• Run more test with compile(decompile(boc)) = boc check

[i582]

At the moment, we already have at least the ability to compile the resulting fift code back into bitcode, and also have several tests that actually check that after recompilation the bitcode is the same.

To close this issue, many more tests need to be checked for this and passed.

[i582]

At the moment, we cannot parse about 300 contracts out of a set of 100k