RISC-V 64-bit Extension

[jonathanpwang]

Since the OpenVM architecture doesn't make any choices of word size, it would be interesting to add RV64IM as a separate disjoint extension from the existing RV32IM. There would still be some limits on the max memory being at most ~2^29 bytes, but I don't see any obstacles to getting 8-byte registers supported.