Before this commit, we found that the wrong
implementation of 'ih', 'it', 'rh', 'rt' still pass trace-17.

This commit consolidate the test by verifying
both the correctness and time complexity.