Add fuzzizng tests, doxygen file, randomized tests, and more