I'm suggesting that the ebpf code still be verified and that the only rust code used is to implement the verifier and the virtual machine itself.