Add stream-style logging macros

[dentiny]

Problem statement:

• Existing logging and assertion is kind of awkward, for example, it doesn't accept stream-style operation, meanwhile it uses string as the macro parameter, which means we have to concatenate the message beforehand.
  • (minor) It might hurts performance, I see a lot of the message construction is made by operator+, which could create temporary strings
  • (major) it reduces logging util usability

In this PR, I propose to add a new macro, which combines both assertion and logging with stream style operation.

How I tested:
https://onlinegdb.com/PZiB5VT2A

[dentiny]

If you think necessary, I could add a Unlikely function, which improves branch prediction, since I suspect all assertions sits on critical path.

[apavlo]

@dentiny Thanks for sending this. We will take a look at it. It might make more sense to use a third-party header-only logger.

[dentiny]

Thanks @apavlo for taking a look! It would be nice to support CHECK_EQ-like syntax, which

• Allows comparison logic
• Prints out value for lhs and rhs if comparison logic fails
• Code location (i.e. filename and line number) is included in the error message

For this PR, I mostly target at code simplicity w/o extra deps :)

[dentiny]

Curious if there're any updates on this PR? 👀

[apavlo]

@dentiny End of semester crunch. We will look at this soon.

[connortsui20]

This looks fine to me. Sorry for not reviewing this last semester! I guess this will be up to the future TAs to actually merge but LGTM

[connortsui20]

If you can fix the CI then I think this is fine to merge!

[dentiny]

If you can fix the CI then I think this is fine to merge!

Thank you @connortsui20 for the review! I think the code is benign so I simply suppress the linter warnings.