QuickCheck tests for an Erlang distribution