Fixes Issue #5.

Uses the verifier to check all branch targets are valid. This can be removed once the verifier is run before writing the class file.