As for Machida, isn't his karate background very much the bouncy bouncy "one hit one kill" Karate that you weren't happy about in the first place Ken?
Machida is Old School Shotokan the same as BJJ is equivalent to pre-War Judo. They fight continous and train as such. I watched a programme on him and have his Book and he definitely specified that Machida Karate is different to JKA Karate etc.
Kyokushin is a mix of Shotokan/GojuRyu Muay Thai and in some parts Judo. And Ashihara and enshin have advanced from there. We also have Daido Juku which is a far cry from Traditional JKA Karate ashead butts and other techniques are totally usable in competitionhttps://www.youtube.com/watch?v=M5AvCcLwaJQ