Lyapunov solver: assert dense arguments
Lyap Solver: minor efficiency increase
Correction to option_helper script