Start on a bytecode verifier/spliter component; does not work yet