Updated kenken verify with tests meant to fail