Tests: Use timeout on all infer tests. factorialExpr/euler1Expr moved from TestExamples to Tests
inline loadInferRunAssertSuccess
Towards benchmark
Deref: Share deref work
Infer.Deref: Add Binary instance
benchmark_infer uses InferTests.factorialExpr/euler1Expr