Add more error checking for memory mappings

[Ivan-Velickovic]

This patch checks that a memory mapping is not at a virtual address that is greater than the maximum virtual address.