Add logic for conditional general-fold.
Suppress low-level logging.
Expose a pretty hardcore bug in findCrown. Add some notes.
Add supporting logic for the final algorithm.
Add 'tests' for the final algorithm.
Change conditionalGeneralFold return value to adhere to the existing
standard.
Add conditional struction logic.
Rearranging stuff.