Add test for ReadInstrSwitch on concrete ReadInstr<T> subclass