Added option to run-push to save the state sequence for later visualization.