Raspberry Pi Pico VS ESP32 S2 speed comparison benchmark using CircuitPython