Add simple behavioural tests. (Also correctly assert property in bytestrings tests.)
Less orphan instances in tests.