The newest revision of the Digispark Pro has a button (if we can make it useful), 15 i/o, mounting holes, micro usb plug (with thru hole reinforcement), and can be made in 3.3v or 5v from the same PCB - and it is smaller than the original Digispark!
The micro usb is a major improvement IMO, and yes, the through hole reinforcement are important, I peeled two in the last month. ;-)
When will this pro version be available?
Will the button be used to initiate programming (this how the teensy works, no need for 5 sec delay). The 5 seconds delay is a major disadvantage in my next application.
I like the form factor of the Trinket.
I do tend to like micro-B female usb ports, since a lot of other devices have switched to it due to European laws mandating a common charging platform (except Apple). On the other hand, I've seen reports that a lot of micro-B usb in consumer electronics pull off if you are doing a lot of inserting and removing of the cord. You don't see it in cell phones as much because the plastic casing prevents some of the stress. I've seen speculation that the reason Adafruit has remained with the now deprecated mini-B port is it is more stable when soldered to the boards. For programming, I just bought the new generation of Cerebus USB cable from Sparkfun that has one cable that connects to the computer, and it has a mini-USB hub in it with the original B male (Uno), mini-B male (Trinket/Gemma), and micro-B (Teensy 3.0/DigiX). The old Cerebus just connected all three ports together, and it could have signaling issues with high speed devices. Unfortunately, it does not have standard A female for the Digispark. But for some things, the standard A male plug on the spark is better.
In terms of form factor, I much prefer standard dip packaging where you have all pins in parallel rows with 0.1" spacing, and separate the two rows by 0.2" of dead space so it fits in a standard breadboard. I dislike the positioning of the ground/power/vin on the spark, since it doesn't fit in some of the breadboards/perfboards I have collected (particularly the common 170 hole mini-bread board that has no power rails, but also some breadboards with power rails that aren't aligned with the normal pins). So in this regard, I prefer the teensy 3.0 over the spark (possibly the trinket too, if mine weren't bricked). One other thing I like about the Teensy 3.0 is by paying a little more, I can get it with the pins soldered in. I seem to have bad luck with soldering.
In terms of a button, hopefully it is better than the trinket/gemma. I have bricked both of mine, and I can't get them to reboot. I really, really, really do not want to have to remove my hands from the keyboard or mouse to press a button at just the right time to begin the programming. A common complaint on the Adafruit forums, is people not getting the timing just right, and having to repeat/rinse/lather until they get the board reprogrammed. In this regard, I prefer the Teensy 3.0 and Uno R3, in that I can start the compile/download in the IDE, and it automatically does the download without pressing a button or reconnecting the board at just the right time. Occasionally, I do have to press the reset button, but that is not the norm. On the Teensy 3.0 in fact, I like when I press the reset button, it does reflash the last program I compiled under the IDE.