This adds `writeCueValidator`, which writes a Cue-validating shell script (see https://cuelang.org/).