ci: run miri nightly instead of on every push and PR (#4411)

ci: run miri nightly instead of on every push and PR (#4411) #8645