Fix randomly failing tests

A number of tests fail randomly (TODOs in the code). Fix them by setting the random seed.