Manually add these opcodes to the test
Add many more docs.

jnthn++ for some clarifications.