Fix #1208: toString for Semantics and CheckedBehaviors

Looks like this:

    Semantics(
      CheckedBehaviors(
        asInstanceOfs = Unchecked
      ),
      strictFloats = false
    )
Merge pull request #1220 from gzm0/sem-tostring

Fix #1208: toString for Semantics and CheckedBehaviors