Zaslat SMS: Studies of the ABJM Theory in a Formulation with Manifest SU(4) R-Symmetry