x13 hamsi constant arrays
use ROTL32 in x14_shabal
add missing overflow check