implement the slight variant of souper-check behavior suggested
by Peter and also test it
ack-- should also put the success message in a comment
in the validity check case