added instance Arbitrary Bencode and first test of Bencode's correctness. TODO: figure out how to increase depth of search for recursive BList and BDict constructors of Bencode type without extreme slowness