Bugfixes and unit test for lyapunov_symm

Complements fixes by Tom Holden in #689