Propagate function options to case blocks

In particuar, this means %assert_total gets propagated