Fixed bug in Polyhedron volume.
Fix a small regression. Also changed default in systematic_search to use PSL2.