Add laws to check Short-Circuiting behaviour

[gagandeepkalra]

resolves #3355, previously #3327

[codecov-io]

Codecov Report

Merging #3375 into master will decrease coverage by 1.36%.
The diff coverage is 100%.

@@            Coverage Diff             @@
##           master    #3375      +/-   ##
==========================================
- Coverage   92.69%   91.32%   -1.37%     
==========================================
  Files         379      381       +2     
  Lines        7980     8039      +59     
  Branches      218      228      +10     
==========================================
- Hits         7397     7342      -55     
- Misses        583      697     +114

Flag	Coverage Δ
#scala_version_212	91.3% <100%> (-1.42%)	⬇️
#scala_version_213	91.11% <100%> (-1.37%)	⬇️

Impacted Files	Coverage Δ
...src/main/scala-2.13+/cats/instances/lazyList.scala	100% <100%> (ø)	⬆️
...src/main/scala/cats/laws/ShortCircuitingLaws.scala	100% <100%> (ø)
core/src/main/scala/cats/instances/queue.scala	100% <100%> (ø)	⬆️
core/src/main/scala/cats/instances/vector.scala	100% <100%> (ø)	⬆️
...la/cats/laws/discipline/ShortCircuitingTests.scala	100% <100%> (ø)
core/src/main/scala/cats/Defer.scala	0% <0%> (-100%)	⬇️
kernel/src/main/scala/cats/kernel/Semigroup.scala	29.41% <0%> (-45.59%)	⬇️
core/src/main/scala/cats/Semigroupal.scala	50% <0%> (-45.46%)	⬇️
core/src/main/scala/cats/FunctorFilter.scala	63.63% <0%> (-36.37%)	⬇️
core/src/main/scala/cats/SemigroupK.scala	64.7% <0%> (-35.3%)	⬇️
... and 19 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 424569f...f65a9e7. Read the comment docs.

[LukaJCB]

Thanks for working on this! :)

[travisbrown]

This looks good to me!