Add simple validation to the philosophers benchmark

[lbulej]

This started as a simple hash-based validation @BohdanQQ's fork from which I cherry-picked bits. Because there is no reason to validate hash of the output when we have the actual values, I modified the validation to validate the number of meals eaten directly and added an extra check that the forks have no owner at the end.