[TIR] Use enable_check in cache_read and add some boundary check

[qsqqsqqsq-intellif]

1. Do not check region cover for cache_read and cache_inline when schedule enable_check set to false. We don't need region cover check in some cases.
2. Add some boundary check for ProducerCoversConsumer when intset is nothing. It will raise error when compares to a empty intset. @Hzfengsy @junrushao

[wrongtest-intellif]

The testcases are required.