#1076 - Intersection: assert compactness; generalize to AbstractPolyhedron

[schillic]

Closes #1076.

The second commit is borrowed from #1502.
Reachability tests still pass with this change.

[codecov-io]

Codecov Report

Merging #1517 into master will increase coverage by 0.02%.
The diff coverage is 25%.

@@            Coverage Diff             @@
##           master    #1517      +/-   ##
==========================================
+ Coverage   91.01%   91.03%   +0.02%     
==========================================
  Files          74       74              
  Lines        3493     3490       -3     
==========================================
- Hits         3179     3177       -2     
+ Misses        314      313       -1

Impacted Files	Coverage Δ
src/Intersection.jl	87.87% <25%> (+2.58%)	⬆️
src/Approximations/box_approximations.jl	94.33% <0%> (-3.78%)	⬇️

---

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 a3d24f5...eed366e. Read the comment docs.

[codecov-io]

Codecov Report

Merging #1517 into master will increase coverage by 0.02%.
The diff coverage is 25%.

@@            Coverage Diff             @@
##           master    #1517      +/-   ##
==========================================
+ Coverage   91.01%   91.03%   +0.02%     
==========================================
  Files          74       74              
  Lines        3493     3490       -3     
==========================================
- Hits         3179     3177       -2     
+ Misses        314      313       -1

Impacted Files	Coverage Δ
src/Intersection.jl	87.87% <25%> (+2.58%)	⬆️
src/Approximations/box_approximations.jl	94.33% <0%> (-3.78%)	⬇️

---

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 a3d24f5...eed366e. Read the comment docs.