Fix: move Tezos.create_contract check of free variables to aggregated

type:fixed

This MR fixes #1396 (closed) by moving the free variables calculation of a Tezos.create_contract to ast_aggregated, where modules have been resolved already.