Towards Combinatorial Characterizations and Algorithms for Bar-And-Joint Independence and Rigidity in 3D and Higher Dimensions