[ref_impl_eiffel] [432] This is a checkpoint of changes to the validation code and some slight GUI improvement.

Revision: 432
Author: thomas.beale

Log Message: