Sensors are shapes that live in the broad-phase but never have contacts.
At the end of the time step all sensors are queried for overlap with any
other shapes. Sensors ignore body type and sleeping. Sensors generate
events when a new overlap appears or an overlap disappears. (b2Sensor)
Destroy the sensor record for a sensor shape, emitting end-touch events for
its active overlaps. (b2DestroySensor — C takes the shape pointer; the Rust
port takes the shape id.)