Fix the cpu name and add -verify-machineinstrs.