Add in PropEr tests.