Hi,
The options are still missing. Made a feature request in this post: IGMP proxy and custom DHCP options