factoring commands should return F,R instead of R,F
Trim ecpp.c and modify poly degree heuristics
Extra compositeness tests, and Q composite doesn't imply N composite