add --timer to prove output