sha/keccak1600.c: add couple of soft asserts.