Move ReallyEfficientFactorization into exec/big

6 jobs for master in 26 minutes and 28 seconds (queued for 1 second)