Actually run assumevalid.py.