Implement memory validation. Haven't actually tested it *failing*, though.