Add comment about constant_time_equal implementation
Add more documentation in constant_time_equal