Make timeouts and native call killing slightly more robust.
Minor optimization.
GUI column improvements.
Mainly not showing the toString column if it's the same as the result one.
Always show refinement dialog, even if all the values are the same.