Updated matchUntilHalt test to have smaller timeout and count