Set collision force limits based on SVT data.

After the bug fix, these should work. To be tested in Toulouse June 2.
Modified lint to provide proofs sorted by message.