Test that methods on nil Picosat objects are no-ops
White space
Fix bug where empty clauses aren’t ignored.
Go fmt
Add test of Picosat.Seconds