README: Add link to tinyaes Python wrapper

[naufraghi]

Beside the shameless plug of my little wrapper, I've seen that in Python is quite easy to add some property-based test coverage to the library.

If you wish to suggest some more sensible test, I'll be glad to add them to the wrapper tests.

[naufraghi]

Maybe after #151 the wrapper may offer more modes too.

[kokke]

Hi @naufraghi and thanks for the PR :) I am always happy to see interest in my small side-projects, sorry for the waiting time though.

I don't feel inclined to add yet another piece of software to this project, just for the sake of gaining property based testing (in Python). I have performed formal verification using Frama-C and CBMC and used randomized testing extensively. The test-suite here is just meant to illustrate basic usage, and verify the NIST test vectors.

If anything, I think a test-suite should ideally be written in C, to increase iteration speed i.e. increasing test coverage. C has at least an order of magnitude of speed on Python, if not two.

Thanks for the suggestion anyway :) I always appreciate constructive PRs - I will respectfully decline and close.