- Seems an irrecv gpio of `14` was a poor default for the ESP-C3. Using it causes a reboot.
- Using `10` for the input GPIO avoids the reboot.
- Ensure when we allocate/use a system timer, that it actually succeeds.
- ESP32-C3 only has two system timers (0 & 1). Try to automatically cater for that scenario.
- Add extra debug messages
- Add a run-time assert to check it succeeded.
Fixes#1751
d2fa206719