Add README.md
First pass at Int64
Add quickcheck tests