checkTimer for arith
church.cims -> cvc4.cs
fix comment typos
file-level doc
fix typo
typo