Support address to integer conversions in Starlight

[lydiagarms]

Overview

Support address to integer conversions in Starlight

Tasks

Describe the solution you'd like
A test contract that includes a conversion from addresses to uint256, for a secret variable, public variable, and a public variable that interacts with a secret one.
The logic in the test contract should be be supported in starlight.

Definition of done

When is this task complete?
The above test contract should zappify and run correctly.