The videos you posted are both from JGT, which took place in 2005.
The first video I posted is from late 2006. The three stock thing is a moot point because they're Japanese. We don't know anything about their tourney rule history so we can't say anything. The second one is from JGT. The last one is off of CJ's site, I'm assuming it's 2005 or earlier. It went offline a while though, so I'm not really sure.
You really shouldn't try to prove something when your proof is based off of your own assumptions. Mikael was just testing wavedashing out? You mean the Japanese had just found out about wavedashing in 2005? Have you ever talked to him or played him consistently enough to know that? Have you ever even been on the same continent as him?
Recent-ish vids of Ken vs. Mikael:
http://youtube.com/watch?v=7LeKxtk1k4M
http://youtube.com/watch?v=hst0UWW9MmA
He uses wavedashing to supplement his dashdancing, to space grabs, and other stuff in those videos. Doesn't spam it, but still makes use of it.