fix bug in verify.c and update test.c to use new data format that has sk and 32-byte msg