We are now building against core commit
f94ee1c168ca6284a00069492cfddc44c5855a72[1].

This brings a fix of AutomataUnionCartesianProduct. This algorithm now
requires both automata to have the same alphabets.

[1] automata-library@f94ee1c1