Signal<T> tests

But it turns out that types prevent a lot of errors that tests would normally catch! Who knew?
Basically the same thing, but compiled out in unchecked mode.