move sc_reduce up in verify.c to indicate it will be executed in C