I'm cancelling meeting again, as I still have not been able to clean
spec. I realize it will be more efficient for folks to wait for a
clean version for a complete read through. Few issues are being
reported/found, so I do not anticipate any substantive change.

One realization on issue #640 is that VLEN limit (<=64Kb) has to be
part of ISA spec, not just profile, to allow backwards compatibility.
Details on github issue.

One update is that RIOS Lab has agreed to help with architecture tests
and the SAIL model - thank you, RIOS!

Krste