What you're saying is correct... in theory :)
1. I've researched this issue long enough to be certain that the bug exists and reproduces on all Windows 8 machines with default defrag and maintenance settings.
2. My blog readers provided me with enough data to support this point, and modern SSDs are affected as well. I've got a lot of logs posted by my readers from different machines. Feel free to dig thru them, looking for Windows 8 PCs and finding proof (SSD models are easy to figure out from the logs).
3. Please read my blog post carefully to see how the issue occurs (the commands you've posted are irrelevant to the issue). Then check the logged events on all machines available to you. The OS has to be installed for at least a month for the defrag to occur with reasonable probability and be reflected in the event log. But I assure you it will occur sooner or later ;)
I can see if I can translate my CheckBootSpeed utility to English, so we can get more logs from EF readers. Or I can throw a quick PS script. But 8.1 Preview is too recent, so the logs are not likely to show the issue. But that doesn't mean the issue will not occur.
The service start type is manual, so it starts only for defrag/optimization.