HDX/AV: Pseudocode for brute-force convex hull AV

[jteresco]

For consistency with the other AVs, we can replace things like V[v1] with v1. This might help with making thing fit better.