genmc,tests: Throw when GenMC runs out of memory

GenMC can currently allocate up to 4GB per thread. If it cannot
allocated any more memory, it will return nullptr.

This commit adds a test in Miri that ensures we gracefully throw
if this ever happens.