Disable test-stressproof for the time being