Add assertion tests for modtau