Seol mar théacs é seo: Studies of the ABJM Theory in a Formulation with Manifest SU(4) R-Symmetry