Added basic bshow QuickCheck property