Apply dm2 spec style, add mutation testing