Linear and nonlinear verification of gyrokinetic microstability codes