Ellipsoidal relaxations of the stable set problem: theory and algorithms