Added stack checks for binop short circuit operators.