add fuzz test for factorization