Fix #478 

1. Add bound check for task mapping worker. It helps to support the correctness of task mapping.
2. Remove unnecessary `%` for the first dimension in calculation of index. It is unnecessary after 1.
3. Add additional optimization: if the bound check condition is true then avoid constructing the check.

Testing manually. Look into cases when a bound check was not optimized
directly on the pass. All of them are when we don't use `ThreadIdx`
directly in the worker. Nevertheless in cases that I looked into bound
check was deleted by the next passes.

Fix hidet-org#478 

1. Add bound check for task mapping worker. It helps to support the correctness of task mapping.
2. Remove unnecessary `%` for the first dimension in calculation of index. It is unnecessary after 1.
3. Add additional optimization: if the bound check condition is true then avoid constructing the check.

Testing manually. Look into cases when a bound check was not optimized
directly on the pass. All of them are when we don't use `ThreadIdx`
directly in the worker. Nevertheless in cases that I looked into bound
check was deleted by the next passes.