test: check (Cstruct.create (-1)) fails and (Cstruct.sub works)