How to run driver verifier with memory pool options enabled