[spec] Add controller access macro assertions.