QuickCheck for handleOpt

Property: passing a option argument to `handleOpt`, it augments the
existing list for the respective `Config` field.