Add bytecode verifier skeleton.
Add bug note.
Add branch and additional index verification.