Prove *complete* simulations for the constant and state schedulers

[nchappe]

The theorems refine_cst_refinement and refine_state_refinement are proved with regular strong simulations, but it would make more sense to use complete simulations (cssim).