EXAMPLE: Remove check for `ctrl is None`

...to make the robot_planning/ examples consistent, and since
it is an error if the specification is not realizable.

Also, remove a vestigial comment about counter-examples that
pertains to tulip.interfaces.jtlv