miri is a tool to help to discover undefined behavior in rust programs. We should add this in ci to ensure no vilation of rust spec.