feat(raiko): use simple contract to verify sp1 proof

feat(raiko): use simple contract to verify sp1 proof #890