add --timer to regular prove and refactor common args