On finiteness conjectures for modular quaternion algebras