fix bugs
complete port of cuckoo.h/verify.c to Cuckoo.java
simplify
support files needed for unsigned long remainder
simplify unsigned long division
rewrite some more of CuckooSolve
some more rewriting