Move some regress0 benchmarks to regress1, they took too long
checkTimer for arith
church.cims -> cvc4.cs
fix comment typos
file-level doc
fix typo
typo