Zaslat SMS: Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics