Cleanups and more tests

* Fixed a bunch of dialyzer errors
* Fixed incorrect return from pbkdf2/4
* Added test vectors from RFC3962
* Added erlang quickcheck test to compare output against OpenSSL's PBKDF2 implementation