epiphany industries: redefining hardware model checking