Summary: Added an explicit timeouts.
Reviewed-by: kvn, twisti

Summary: Fix integer overflow problem in the code generated by loop optimizer.
Reviewed-by: never