Smoke test virtual address translation support. (#233)

* WIP

* Smoke test virtual address support.

Tests sv32, sv39, and sv48. Only explicitly tests 4K pages, but uses as
large as possible pages to 1:1 map the rest of RAM so those sizes do get
minimal coverage as well.