basic quickcheck properties for BInt and BStr conversions; preparing BList test case