Switch `top_hat_cz` to use upper and lower y bounds instead of grid.

Working on integration with other compilers I have found that using a grid can be a bit ambiguous therefore we should switch to using the typical upper/lower bounds on the top hat instead and then use the `float_constants` in the spec file for validation purposes. 