At this time you do not even need to specualte on this question because Infineon doesn't supply the suite of products needed to implement TPMs across the government.
I think its also true that it probably wouldn't matter if they did since Wave has spent over 5 years developing relationships and developing the specifications for the architecture.
The only threat to Wave here is if the government decides to not secure their network - not very likely in my opinion.