Type guard testing whether a value is a valid shock state.