Updated spire-scalacheck-binding to 0.9.0
Use LogicLaws from spire-scalacheck-binding

Also removed BooleanAlgebraSpecification since it is no longer needed, and
added a helper trait to add the law properties.

Fixes #4
Merge branch 'master' of https://github.com/rklaehn/intervalset