So is Grok 4 Heavy even available on an api right now? It does seem to be the ‘best’ right now so would make sense to add it imo..