Prefix changes should be handled by RouterOS (= would be good if it did it, but it currently doesn’t). It may be possible using lease script:
Changing ipv6 prefix (just related topic, no solution yet)
And DHCPv6 server probably wouldn’t help, I think it would still depend on RA, so on router’s config.