Attribute Macro polyhorn_ios::test

#[test]

Calls polyhorn_ui::macros::test::test_impl with a token stream that we obtain from the Rust compiler.