Close #10 PR: Add benchmarking, fixes #8.