WyC: Updated output for files
Merge branch 'master' of github.com:Whiley/WhileyCompiler
WyJC: Updated valid test cases.
A number of valid test cases were incorrectly marked as @Ignore when
they were in fact passing.  Some were additionally missing sample
output.
BUILD: Updated to latest version on Jasm.
The latest version of Jasm contains a bug fix related to the compilation
of functions containing a larger number of local variables.
WyC,WyIL,WyjC: Added an AssertBlock bytecode #377.
The purpose of this bytecode is as a stepping stone towards bytecode
blocks (#190).  Furthermore, to remove the e.g. assertge bytecodes, and
replace them with fail bytecodes.  This should reduce the number of path
generated during verification condition generation.