We need better introspection capabilities into the operations of the optimizer. This will help users understand why their problem may be poorly formed and identify errors in their dynamics, constraints, and objectives.

I've had good experiences with spdlog, and I can copy over some utilities I've written for other projects to help get started.