Made sure time_limit behavior is consistent and documented.
Fixed incorrect timercmp call.