Reverting changes to verify().
Adding *.x to .gitignore.