Make (e)auto enter proofmode when we are not already in it.

1 job for master in 3 minutes and 53 seconds