pub fn verify_basic_arithmetic<D: CalculatorDriver>(driver: &mut D)
Verifies basic arithmetic operations