I see what you're getting at. Pins 9 and 10 use Timer 1 (the 16-bit timer) if you want to do PWM, so the Zumo support library takes over timer 1. Which Servo.h also does.
If you drive pins 9 and 10 only using digital write (full or nothing,) then you can use the Servo.h library (and not use the Zumo support library.)
If you want to generate servo control pulses manually, you can do this with a busy-wait poll loop. However, you can't do anything else while doing this, which may or may not be OK for you. You can drive multiple pins in parallel this way, too, with a bit of software panache.
// run this every 20-50 milliseconds
delayMicroseconds(1750); // or whatever
This will jitter a little bit because of the interrupt handlers in the Arduino support library. Thus, you can disable interrupts before this code, and enable interrupts after it, for better timing.
If you want to run multiple pins at the same time, you're probably better off addressing them directly with PORTB or PORTD or whatever:
PORTB |= 0x13;
PORTB &= ~0x10;
PORTB &= ~0x3;
This will turn on pins 8, 9, and 12, and turn off pin 12 after 1200 microseconds and pins 8 and 9 after 1400 microseconds (give or take a little bit.)