Currently, the PIC32 port runs at 36 MHz. This was to maintain compatibility with the PIC32MX1xx/2xx series (max 40 MHz). However, it is very likely that the BitSafe will use one of the PIC32MX5xx chips (max 80 MHz).
Running at 72 MHz will make some operations faster, improving the user experience. It will also vastly improve the possibility of a bit-banged full-speed USB host implementation.
Currently, the PIC32 port runs at 36 MHz. This was to maintain compatibility with the PIC32MX1xx/2xx series (max 40 MHz). However, it is very likely that the BitSafe will use one of the PIC32MX5xx chips (max 80 MHz).
Running at 72 MHz will make some operations faster, improving the user experience. It will also vastly improve the possibility of a bit-banged full-speed USB host implementation.