Add `require-receive` rule

[fvictorio]

Equivalent to payable-fallback

I'm not convinced that this one is useful, but I wouldn't mind adding it if someone actually wants it.