Waldhausen Additivity and Approximation in Quasicategorical K-Theory