Discovered a definite bug, made some minor adjustements to work around it in matrix multiply.
Discovered a definite bug, made some minor adjustements to work around it in matrix multiply.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler