Several updates to CPU Verifier to make it more portable.