Fix #1208: toString for Semantics and CheckedBehaviors

Looks like this:

    Semantics(
      CheckedBehaviors(
        asInstanceOfs = Unchecked
      ),
      strictFloats = false
    )