Bump sp1 version. (#752)

* Bump version.

* Fix tests.

* update cargo lock.

* fmt.

* Update benchmark fn.

* Update spec version.

Author: Saša Pršić