Fixes the base properties like MonoidLaws that weren't running.

Got broken in the scalatest conversion. This brings them back. Fixes #357