Add some simple PropEr tests for encoding/decoding logic