Add more documentation

Currently the README is very basic. A bit more info might be good.

We should add some info about:
- determinism: This crate is deterministic irrespective of host platform
- what is considered a breaking change (I think basically any change of result for the same inputs is breaking, since that might break contract logic, but I'm open to discuss that)
- how to use different backends