Full typechecking for unreachable code (#302)

The typechecking is now shared between the validator and
binary-reader-interpreter as well.

* Shared the various LabelType enumerations -> WabtLabelType.
* Fixed the "invalid depth" errors, the max value was incorrect.
* Removed some tests that aren't useful anymore:
  - interp/if-then-br hasn't been useful for a while, but now is even
    less so because it doesn't validate without dropping the i32.const
    from the true branch
  - typecheck/bad-br-multi-type isn't possible because the block must
    specify the signature for the br.
  - typecheck/bad-label-multi-type used to test matching signature for
    fallthrough and br, but isn't possible because of block signatures.

0 files changed, 0 insertions, 0 deletions