refactor: use CHECK* macros to replace assert macros

[acelyc111]

This refactor work contains the following motivations:

1. macros are offen recommend to use all upper case.
2. the beginning char 'd' is easy to misunderstand as 'only enable in Debug version'
3. there are 2 styles, dassert_f and dassert, we can unify them

• replace dassert which check a single condition
• replace dcheck_eq*
• replace dcheck_ge*
• replace dcheck_le*
• replace dcheck_gt*
• replace dcheck_lt*
• remove danling-else CHECK(false, ...)

[acelyc111]

TODO

There are some code like

if (a) {
  // do sth
} else {
  CHECK(false, ...);
}

can be improved by

CHECK(a, ...)
// do sth