Investigate an on-chain ELF verifier program

[buffalojoec]

ELF verification is going to be this program's most difficult challenge as an on-chain BPF program, since this operation likely requires lots of compute units.

If it helps, we can explore splitting ELF verification into a dedicated separate program, however, the ultimate goal here is to see if it can be done on-chain in reasonable compute units.