modeling: breaking changes in geom3

[z3dev]

These changes break V2 compatibility in the geometries as the compact binary functions have been removed. It was good idea but became unnecessary and over complicated.

Also, geom3 has been updated to use toVertices() and fromVertices(), which follows the new internal and external naming standards for the geometries.

Lot of test cases need adjustments as well.

All Submissions:

• Have you followed the guidelines in our Contributing document?
• Have you checked to ensure there aren't other open Pull Requests for the same update/change?
• Does your submission pass tests?

[hrgdavor]

I like the addition of fromVerticesConvex. No objections to rest of the changes.

[platypii]

Looks good