feature: add the option --randomly-seed-per-test to use a different seed for each test

feature: add the option --randomly-seed-per-test to use a different seed for each test #796