Lattice Point Counting and Height Bounds over Number Fields and Quaternion Algebras