Have dslx_prove_quickcheck prove that all asserts are always passed.

PiperOrigin-RevId: 748448549

Integrate LLVM at llvm/llvm-project@179d30f8c3fd

Updates LLVM usage to match
[179d30f8c3fd](https://github.com/llvm/llvm-project/commit/179d30f8c3fd)

PiperOrigin-RevId: 748068900

xls/dslx/apfloat: add hfloat16

- add hfloat16
- remove hardcoded types from bfloat16
- leave out bfloat16 specific functions for now (see #2036)

PiperOrigin-RevId: 747692250

Integrate LLVM at llvm/llvm-project@98feb05825a1

Updates LLVM usage to match
[98feb05825a1](https://github.com/llvm/llvm-project/commit/98feb05825a1)

PiperOrigin-RevId: 746552182

round_already_round_test and round_special should call round not trunc.

PiperOrigin-RevId: 746208087

Integrate LLVM at llvm/llvm-project@836476660e5c

Updates LLVM usage to match
[836476660e5c](https://github.com/llvm/llvm-project/commit/836476660e5c)

PiperOrigin-RevId: 745830634

Integrate LLVM at llvm/llvm-project@cd54cb062bba

Updates LLVM usage to match
[cd54cb062bba](https://github.com/llvm/llvm-project/commit/cd54cb062bba)

PiperOrigin-RevId: 745364812

Change v1 tests to use range expr instead of function by default.

Also enable TIv2 for tests that use the expr form.

The plan is to ultimately get rid of the function, which does not behave like a normal function in type checking (i.e. the purported regular params are really parametrics governing the returned array size). So we will just keep one test around in each test suite that proves the function form works until fully deprecated.

PiperOrigin-RevId: 744865990

Integrate LLVM at llvm/llvm-project@69f59d59cb02

Updates LLVM usage to match
[69f59d59cb02](https://github.com/llvm/llvm-project/commit/69f59d59cb02)

PiperOrigin-RevId: 744348330

Merge pull request #2032 from schilkp:schilkp/readme_links

PiperOrigin-RevId: 744078993