Attribute Macros

Mark an async function to be fuzz-tested using near-prop, within a tokio executor.