Don't check issorted for vector of Bool

[blegat]

Needed for jump-dev/SumOfSquares.jl#411

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 85.56%. Comparing base (91a9b3c) to head (d011eb2).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #115      +/-   ##
==========================================
+ Coverage   85.50%   85.56%   +0.05%     
==========================================
  Files          15       15              
  Lines         966      970       +4     
==========================================
+ Hits          826      830       +4     
  Misses        140      140              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.