Only update varelim complexity if we still have time
Don't try to eliminate when we are obviously out of time

For very weird instances, this actually makes a difference
Renaming sorter to better reflect what it's doing
Revert "CROSS COMPILE is not useful anymore"

This reverts commit 627ef472f4bf2de91e7e52a67031d50fb3992500.