add XMonad.StackSet invariant
add benchmark for XMonad.focus_left_master