Create eigencheck.py

counting S^3 sub-Laplacian eigenvalues.