major updates and rewrites, includes checking of 3-sphere coverage