Add a mag(velocity)*dt velocity increment to the RCB used in redecomp (if not already done), the grid search, and the interpenetration length scale used in the CG filtering.
This will help us not miss contact for two objects moving very fast toward one another with a relatively large dt.
Ideally, this will help Tribol not miss the contact and compute a suitable timestep to catch the contact in the next contacting cycle (i.e. we catch contact candidates that are quite far apart, but moving toward one another very quickly with a large dt).