Finished PropEr testing of Erlang driver