Improve DDS performance.
Add more 3D unit.
Better output for print_map.
Simplify incremental invariant due to design error.
Add basic fuzzer slow tests and fix a bug.