Collision detectors now output collisions with a negative penetration depth.

This allows predictive contacts within a fixed margin (0.1).
This margin should not be hard-coded in the future.