Add helper function to Schedule to verify all slacks

Many tests loops over operations and check that slacks are non-negative. Would be good to have a private helper in Schedule to do this (and bypassing some of the logic).