We should have unit test for writing / reading of bytecode arguments. Especially during argument reads we use unsafe so unit tests should ensure that every read can only panic.

Argument writing / reading is confined to args.rs.
Tests should cover every argument type and if present format.