Add F-U compositeness test, and tighted ECPP certificate conditions