Document vmgen.nim a bit

Add comments and assertions for the `gABC`, `gABI`, and `gABx` methods.