we have been using AC12 on snow leopard without any problems so far.

only major nuisance so far seems to be the dropped support for QTVR in quicktime X… workaround for the moment is to use quicktime 7.

more information regarding compatibility & update to the wibu key driver here and a user discussion on archicad-talk here.