Validate failures (again)

[Roman Leshchinskiy]

Unexpected failures:
    ghci019(ghci)
    mod44(normal)
    num009(normal)
    read014(normal)
    tc115(normal)
    tc116(normal)
    tc125(normal)
    tc126(normal)
    tc161(normal)
    tcfail023(normal)
    tcfail035(normal)
    tcfail036(normal)
    tcfail073(normal)
    tcfail096(normal)
    tcfail121(normal)
    tcfail143(normal)

Running validate before pushing changes is becoming somewhat annoying 
because I have to run it twice in two different repos (one with and one 
without my changes) and then compare the results. Why do people push 
without validating? I thought we agreed that this shouldn't happen?

Roman