Fix portfolio compile error.
Fix proofs build.
Add a checkTimer for arithmetic.