Fixed verification bugs, parameterised number of tests and acceptable difference between models. Need to add comments