Liveness temperature threshold checking is turned off silently

[pdeligia]

The liveness temperature threshold checking is turned off silently right now, if the underlying bug-finding scheduling strategy produces unfair executions (e.g budgeted strategies). We should ideally give some warning regarding this, or notify the user.